Models of computation

Results: 1716



#Item
61Computer arithmetic / Theoretical computer science / Arithmetic / Digital circuits / Electronic engineering / Logic gates / Adder / Binary logic / Models of computation / Dadda multiplier / Carry-select adder / Carry-lookahead adder

Design of a Power Optimal Reversible FIR Filter ASIC Speech Signal Processing Yelle Harika M.Tech, Joginpally B.R.Engineering College.

Add to Reading List

Source URL: www.ijmetmr.com

Language: English - Date: 2016-08-16 07:16:56
62Theoretical computer science / Theory of computation / Computational complexity theory / Quantum algorithms / Quantum computing / Models of computation / Decision tree model / Quantum phase estimation algorithm / PP / Quantum walk / Time complexity / Quantum information

Can Quantum Search Accelerate Evolutionary Algorithms? Daniel Johannsen Max Planck Institute for Informatics Department of Algorithms and Complexity Saarbrücken, Germany

Add to Reading List

Source URL: www.cse.iitk.ac.in

Language: English - Date: 2016-07-30 09:35:21
63Software engineering / Concurrency / Models of computation / Constraint programming / Diagrams / Programming paradigms / Formal methods / Theoretical computer science / Petri net / Constraint logic programming / Decomposition method

OSSIA: TOWARDS A UNIFIED INTERFACE FOR SCORING TIME AND INTERACTION Jean-Michaël Celerier Blue Yeti

Add to Reading List

Source URL: tenor2015.tenor-conference.org

Language: English - Date: 2015-05-26 15:55:56
64Biology / Logic gates / Bacteria / Microbiology / Bacteriology / Models of computation / Digital systems / Natural computing / Theoretical computer science / Autoinducer / DNA computing / Quorum sensing

View Online / Journal Homepage / Table of Contents for this issue C Energy & Environmental Science

Add to Reading List

Source URL: angenent.bee.cornell.edu

Language: English - Date: 2014-05-03 20:35:05
65Computing / Concurrent computing / Parallel computing / Distributed computing architecture / MapReduce / Apache Software Foundation / Data-intensive computing / Models of computation / Stream processing / Apache Hadoop / Algorithm / Big data

Streaming Big Data with Self-Adjusting Computation Umut A. Acar Yan Chen Carnegie Mellon University

Add to Reading List

Source URL: www.mpi-sws.org

Language: English - Date: 2012-11-13 09:20:28
66Software engineering / Computing / Software / Project management / Infographics / Diagrams / Unified Modeling Language / I-Logix / Models of computation / Software development / State diagram / Rhapsody

ECI Telecom Employs I-Logix’ Rhapsody and UML Graphical Coding Techniques To Develop Embedded Digital Cross Connect Applications In the telecommunications world, those developing applications in software have much to c

Add to Reading List

Source URL: www.uml.org

Language: English - Date: 2016-03-23 09:20:58
67Diagrams / Models of computation / Software engineering / Concurrency / Message sequence chart / Abstraction / Petri net / Infographics / Computing / Model checking / Tree / Algorithm

Microsoft Word - IBSAlgorithms.doc

Add to Reading List

Source URL: foibg.com

Language: English - Date: 2015-02-02 08:45:53
68Models of computation / Formal languages / Theoretical computer science / Pushdown automaton / Automata theory / Deterministic pushdown automaton / Computability / Language / Deterministic context-free language / Deterministic automaton / Culture / NPDA

Simulation of Two-Way Pushdown Automata Revisited Robert Gl¨uck DIKU, Dept. of Computer Science, University of Copenhagen Dedicated to David A. Schmidt on the Occasion of his 60th Birthday

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2013-09-22 20:46:25
69Theoretical computer science / Logic in computer science / Programming language semantics / Communications protocol / Data transmission / Model theory / Operational semantics / Models of computation

A Formal Model and Composition Language for Context-Aware Service Protocols A Formal Model and Composition Language for Context-Aware Service Protocols Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Sala¨ un

Add to Reading List

Source URL: casta.unibe.ch

Language: English - Date: 2012-07-02 10:13:08
70Computability theory / Theoretical computer science / Theory of computation / Mathematics / Mathematical logic / Turing machine / Models of computation / Computable number / Alan Turing / Computable function / Definable real number / Computability

PDF Document

Add to Reading List

Source URL: homepages.math.uic.edu

Language: English - Date: 2016-01-08 10:48:49
UPDATE